3

Solidification at the Micro-Scale

Year:
2003
Language:
english
File:
PDF, 675 KB
english, 2003
4

Jacked installation of underbridges

Year:
2017
Language:
english
File:
PDF, 1.56 MB
english, 2017
6

Elephant in the hole

Year:
2006
Language:
english
File:
PDF, 96 KB
english, 2006
7

Black hole turf war

Year:
2007
Language:
english
File:
PDF, 134 KB
english, 2007
10

Quadtrees as an Abstract Domain

Year:
2010
Language:
english
File:
PDF, 222 KB
english, 2010
11

Abstracting numeric constraints with Boolean functions

Year:
2000
Language:
english
File:
PDF, 104 KB
english, 2000
15

A pearl on SAT and SMT solving in Prolog

Year:
2012
Language:
english
File:
PDF, 267 KB
english, 2012
20

Schrödinger spat

Year:
2011
Language:
english
File:
PDF, 189 KB
english, 2011
21

Primate play plan

Year:
2012
Language:
english
File:
PDF, 428 KB
english, 2012
22

Theory propagation and reification

Year:
2014
Language:
english
File:
PDF, 447 KB
english, 2014
29

Efficient groundness analysis in Prolog

Year:
2003
Language:
english
File:
PDF, 344 KB
english, 2003
30

Three optimisations for sharing

Year:
2003
Language:
english
File:
PDF, 264 KB
english, 2003
36

Incremental closure for systems of two variables per inequality

Year:
2018
Language:
english
File:
PDF, 807 KB
english, 2018